منابع مشابه
Another proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملAn extension of the Wedderburn-Artin Theorem
In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.
متن کاملAnother extension of Basic Logic
Basic propositional logic was first introduced by Albert Visser in [6]. Basic logic is a proper subsystem of intuitionistic logic, and can be constructed from it by a weakening of modus ponens. This weakening allows for a larger collection of theories, for example formal provability logic. Formal provability logic is related to the provability modal logic GL just as intuitionistic logic is rela...
متن کاملExtension of Krull's intersection theorem for fuzzy module
In this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules. It shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. We investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. Finally we extend Krull's intersection theorem of fuzzy ideals by using concept $mu$-adic comp...
متن کاملAnother Proof of Clairaut's Theorem
This note gives an alternate proof of Clairaut’s theorem—that the partial derivatives of a smooth function commute—using the Stone–Weierstrass theorem. Most calculus students have probably encountered Clairaut’s theorem. Theorem. Suppose that f : [a, b] × [c, d] → R has continuous second-order partial derivatives. Then fxy = fyx on (a, b)× (c, d). The proof found in many calculus textbooks (e.g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1985
ISSN: 0022-247X
DOI: 10.1016/0022-247x(85)90296-3